checking program

Noun
  1. a program that examines other computer programs for syntax errors
checking program
A developer runs a checking program on their new code.